Lifting theory - PDFSEARCH.IO - Document Search Engine

Lifting theory
Results: 58

#	Item
11	Proving Differential Privacy via Probabilistic Couplings Gilles Barthe? ? Marco Gaboardi‡ Add to Reading List Source URL: tpdp16.cse.buffalo.edu Language: English - Date: 2016-06-08 10:33:12 Mathematical analysis Probability Mathematics Information privacy Mathematical logic Measure theory Generalized functions Lifting theory Exponential mechanism Differential privacy IP Distribution
12	981 Documenta Math. Good Reduction of Affinoids on the Lubin-Tate Tower Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-12-15 13:58:04 Algebra Abstract algebra Mathematics Representation theory of Lie groups Automorphic forms Class field theory Conjectures Langlands program Local Langlands conjectures Fiber bundle Lifting theory Inverse limit
13	DETERMINACY FOR MEASURES MISHKO MITKOVSKI† AND ALEXEI POLTORATSKI‡ Abstract. For a given finite positive measure we determine the minimal information that is needed from its Fourier transform to determine the measure Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2015-08-17 15:58:57 Measure theory Fourier analysis Operator theory Fourier transform Joseph Fourier Hardy space Support Entire function Absolute continuity Lifting theory
14	571 Documenta Math. Purity Results for p-Divisible Groups and Abelian Schemes over Regular Bases Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-08-26 14:28:57 Measure theory Lifting theory Model theory Formal languages Invariant subspace Sigma-algebra
15	781 Documenta Math. Dilation Theory, Commutant Lifting and Semicrossed Products Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-11-21 14:27:49 Operator theory Commutant lifting theorem Dilation C*-algebra Contraction Representation theory Invariant subspace GelfandNaimarkSegal construction Von Neumann algebra
16	THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-02-06 12:14:26 Automated theorem proving Logic programming Logic in computer science Boolean algebra Model theory Substitution Boolean satisfiability problem Interpretation Relationships among probability distributions Lifting theory
17	Control-Flow Analysis of Dynamic Languages via Pointer Analysis Steven Lyde William E. Byrd Add to Reading List Source URL: matt.might.net Language: English Lambda calculus Computability theory Theoretical computer science Control flow analysis Pointer Unification Closure Lambda calculus definition Lambda lifting
18	Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-08 07:07:18 Software engineering Computing Computer programming Subroutines Lambda calculus Data types Type theory Functional programming Closure Scope Free variables and bound variables Lambda lifting
19	Non-Artin Gluing in Recursion Theory and Lifting in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Stone duality is a radical reformulation of general topology, in which the topology on a space X is not consi Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 13:04:10